搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Conflict and violence in Singapore and Malaysia, 1945-1983 0 索取号：D815.339/E901.r 作者：Clutterbuck、 Richard L.、出版社：Boulder, Colo. : Westview Press, 1985.		Site characterization : preprint-proceedings, 17th U.S. Symposium on Rock Mechanics, held at Snowbird, Utah, August 25-27, 1976 0 索取号：TU631-53/E801/17 作者：U.S. Symposium on Rock Mechanics (17th : 1976 : Snowbird、 Utah)、Hustrulid、 W. A.、Brown、 Wayne S.、Green、 S. J. (Sidney J.)、University of Utah.、U.S. National Committee for Rock Mechanics.、出版社：Salt Lake City : Utah Engineering Experiment Station, University of Utah, 1976.
	Proceedings of a Symposium on Structural Dynamics : held at Loughborough University of Technology, 23rd-25th March, 1970 0 索取号：TU311.3-53/E801/1970.1 作者：Symposium on Structural Dynamics (1970 : University of Loughborough)、Johns、 D. J. (David John)、British Acoustical Society.、Loughborough University of Technology.、出版社：Loughborough, England : Loughborough University of Technology, c1970.		13th Annual Symposium on Switching & Automata Theory, October 25-27, 1972 0 索取号：TP17/E702/13 作者：Symposium on Switching and Automata Theory (13th : 1972 : University of Maryland)、IEEE Computer Society. Switching and Automata Theory Committee、University of Maryland. Dept. of Electrical Engineering、出版社：New York : IEEE Computer Society, c1972
	IEEE conference record of 1970 Eleventh Annual Symposium on Switching and Automata Theory : papers presented at the Eleventh Annual Symposium, Santa Monica, Calif., October 28-30, 1970 0 索取号：TP17/E702/11 作者：Symposium on Switching and Automata Theory (11th : 1970 : Santa Monica、 Calif.)、IEEE Computer Society. Switching and Automata Theory Committee.、University of California、 Los Angeles.、Institute of Electrical and Electronics Engineers.、出版社：New York, N.Y. : Institute of Electrical and Electronics Engineers, c1970.		MICRO 10 [electronic resource] : proceedings, Tenth Annual Workshop on Microprogramming, October 5-7, 1977, Niagara Fall, New York 0 索取号：TP31-53/E9017/10 作者：Workshop on Microprogramming (10th : 1977 : Niagara Falls、 N.Y.)、IEEE Computer Society. TC-micro.、ACM Digital Library.、ACM Special Interest Group on Microprogramming.、出版社：New York : Institute of Electrical and Electronics Engineers, 1977.
	Proceedings [electronic resource] : 11th Design Automation Workshop, June 17-19, 1974, Denver, Colorado 0 索取号：TP202-53/E801/11 作者：Design Automation Workshop (11th : 1974 : Denver、 Colo.)、ACM Special Interest Group on Design Automation、IEEE Computer Society. Design Automation Technical Committee、出版社：[New York, N.Y. : Institute of Electrical and Electronics Engineers], c1974		The proceedings of the 4th International Conference on the Design and Implementation of Algorithmic Languages, held at Courant Institute of Mathematical Sciences, New York University, New York City, June 14th-16th, 1976 0 索取号：TP31-53/E808/4 作者：International Conference on the Design and Implementation of Algorithmic Languages、 4th、 Courant Institute of Mathematical Sciences、 1976.、Dewar、 Robert B. K.、Courant Institute of Mathematical Sciences.、出版社：[New York] : Courant Institute of Mathematical Sciences, Computer Science Dept., New York University, 1976.
	Functional programming, Glasgow 1990 : proceedings of the 1990 Glasgow Workshop on Functional Programming, 13-15 August 1990, Ullapool, Scotland 0 索取号：TP311-53/E991/1990 作者：Glasgow Workshop on Functional Programming (1990 : Ullapool、 Scotland)、Peyton Jones、 Simon L.、 1958-、Hutton、 Graham、 1968-、Holst、 Carsten Kehler、 1962-、British Computer Society.、出版社：London ; New York : Springer-Verlag, 1991.		Proceedings of 3rd Annual National Conference on Ada Technology : Hyatt Regency Houston, Houston, Texas, March 20-21, 1985 0 索取号：TP312-53/E904/3 作者：National Conference on Ada Technology (3rd : 1985 : Houston、 Tex.)、United States. Army Center for Tactical Computer Systems.、Atlanta University.、出版社：[S.l. : s.n., 1985?]
	New developments in boundary element methods : proceedings of the Second International Seminar on Recent Advances in Boundary Element Methods, held at the University of Southampton, March 1980 0 索取号：TB11-53/E902/2 作者：International Seminar on Recent Advances in Boundary Element Methods (2nd : 1980 : University of Southampton)、Brebbia、 C. A.、International Society for Computational Methods in Engineering.、出版社：London ; Boston : Butterworth, 1980.		Symposium on Machine Processing of Remotely Sensed Data, June 29-July 1, 1976, the Laboratory for Applications of Remote Sensing, Purdue University, West Lafayette, Indiana : [proceedings 0 索取号：TP233-53/E801/1976 作者：Symposium on Machine Processing of Remotely Sensed Data (1976 : Purdue University、 Laboratory for Applications of Remote Sensing)、Swain、 Philip H.、Morrison、 D. B.、Parks、 D. E.、Purdue University. Laboratory for Applications of Remote Sensing.、出版社：[New York] : Institute of Electrical and Electronics Engineers, c1976.
	Robotics and automation : Second IASTED International Symposium Robotics and Automation, June 22-24, 1983, Lugano, Switzerland 0 索取号：TP242-53/E901/2 作者：IASTED International Symposium Robotics and Automation (2nd : 1983 : Lugano、 Switzerland)、Hamza、 M. H.、International Association of Science and Technology for Development.、出版社：Anaheim : Acta Press, 1983.		Proceedings of the eleventh annual Pittsburgh conference, held May 1-2, 1980, University of Pittsburgh v.11:pt.1 0 索取号：TB115-53/E801/11.1 作者：出版社：Research Triangle Park, N.C. : Instrument Society of America, 1980.
	菲律滨文化中学 (侨中) 创校六十周年纪念刊 : 1923-1983 0 索取号：G639.341.8/712 作者：菲律宾文化中学 (侨中)、出版社：菲律滨 : 菲律滨文化中学 (侨中), 1983		Proceedings of the Conference on Hybrid Microelectronics, Tuesday 9th to Thursday 11th September 1975, University of Technology, Loughborough 0 索取号：TN45-53/E804/1975 作者：Conference on Hybrid Microelectronics (1975 : University of Technology、 Loughborough、 Eng.)、Institution of Electronic and Radio Engineers.、International Society for Hybrid Microelectronics.、出版社：London : IERE, c1975.

	Conflict and violence in Singapore and Malaysia, 1945-1983 0 索取号：D815.339/E901.r 作者：Clutterbuck、 Richard L.、出版社：Boulder, Colo. : Westview Press, 1985.		Site characterization : preprint-proceedings, 17th U.S. Symposium on Rock Mechanics, held at Snowbird, Utah, August 25-27, 1976 0 索取号：TU631-53/E801/17 作者：U.S. Symposium on Rock Mechanics (17th : 1976 : Snowbird、 Utah)、Hustrulid、 W. A.、Brown、 Wayne S.、Green、 S. J. (Sidney J.)、University of Utah.、U.S. National Committee for Rock Mechanics.、出版社：Salt Lake City : Utah Engineering Experiment Station, University of Utah, 1976.
	Proceedings of a Symposium on Structural Dynamics : held at Loughborough University of Technology, 23rd-25th March, 1970 0 索取号：TU311.3-53/E801/1970.1 作者：Symposium on Structural Dynamics (1970 : University of Loughborough)、Johns、 D. J. (David John)、British Acoustical Society.、Loughborough University of Technology.、出版社：Loughborough, England : Loughborough University of Technology, c1970.		13th Annual Symposium on Switching & Automata Theory, October 25-27, 1972 0 索取号：TP17/E702/13 作者：Symposium on Switching and Automata Theory (13th : 1972 : University of Maryland)、IEEE Computer Society. Switching and Automata Theory Committee、University of Maryland. Dept. of Electrical Engineering、出版社：New York : IEEE Computer Society, c1972
	IEEE conference record of 1970 Eleventh Annual Symposium on Switching and Automata Theory : papers presented at the Eleventh Annual Symposium, Santa Monica, Calif., October 28-30, 1970 0 索取号：TP17/E702/11 作者：Symposium on Switching and Automata Theory (11th : 1970 : Santa Monica、 Calif.)、IEEE Computer Society. Switching and Automata Theory Committee.、University of California、 Los Angeles.、Institute of Electrical and Electronics Engineers.、出版社：New York, N.Y. : Institute of Electrical and Electronics Engineers, c1970.		MICRO 10 [electronic resource] : proceedings, Tenth Annual Workshop on Microprogramming, October 5-7, 1977, Niagara Fall, New York 0 索取号：TP31-53/E9017/10 作者：Workshop on Microprogramming (10th : 1977 : Niagara Falls、 N.Y.)、IEEE Computer Society. TC-micro.、ACM Digital Library.、ACM Special Interest Group on Microprogramming.、出版社：New York : Institute of Electrical and Electronics Engineers, 1977.
	Proceedings [electronic resource] : 11th Design Automation Workshop, June 17-19, 1974, Denver, Colorado 0 索取号：TP202-53/E801/11 作者：Design Automation Workshop (11th : 1974 : Denver、 Colo.)、ACM Special Interest Group on Design Automation、IEEE Computer Society. Design Automation Technical Committee、出版社：[New York, N.Y. : Institute of Electrical and Electronics Engineers], c1974		The proceedings of the 4th International Conference on the Design and Implementation of Algorithmic Languages, held at Courant Institute of Mathematical Sciences, New York University, New York City, June 14th-16th, 1976 0 索取号：TP31-53/E808/4 作者：International Conference on the Design and Implementation of Algorithmic Languages、 4th、 Courant Institute of Mathematical Sciences、 1976.、Dewar、 Robert B. K.、Courant Institute of Mathematical Sciences.、出版社：[New York] : Courant Institute of Mathematical Sciences, Computer Science Dept., New York University, 1976.
	Functional programming, Glasgow 1990 : proceedings of the 1990 Glasgow Workshop on Functional Programming, 13-15 August 1990, Ullapool, Scotland 0 索取号：TP311-53/E991/1990 作者：Glasgow Workshop on Functional Programming (1990 : Ullapool、 Scotland)、Peyton Jones、 Simon L.、 1958-、Hutton、 Graham、 1968-、Holst、 Carsten Kehler、 1962-、British Computer Society.、出版社：London ; New York : Springer-Verlag, 1991.		Proceedings of 3rd Annual National Conference on Ada Technology : Hyatt Regency Houston, Houston, Texas, March 20-21, 1985 0 索取号：TP312-53/E904/3 作者：National Conference on Ada Technology (3rd : 1985 : Houston、 Tex.)、United States. Army Center for Tactical Computer Systems.、Atlanta University.、出版社：[S.l. : s.n., 1985?]
	New developments in boundary element methods : proceedings of the Second International Seminar on Recent Advances in Boundary Element Methods, held at the University of Southampton, March 1980 0 索取号：TB11-53/E902/2 作者：International Seminar on Recent Advances in Boundary Element Methods (2nd : 1980 : University of Southampton)、Brebbia、 C. A.、International Society for Computational Methods in Engineering.、出版社：London ; Boston : Butterworth, 1980.		Symposium on Machine Processing of Remotely Sensed Data, June 29-July 1, 1976, the Laboratory for Applications of Remote Sensing, Purdue University, West Lafayette, Indiana : [proceedings 0 索取号：TP233-53/E801/1976 作者：Symposium on Machine Processing of Remotely Sensed Data (1976 : Purdue University、 Laboratory for Applications of Remote Sensing)、Swain、 Philip H.、Morrison、 D. B.、Parks、 D. E.、Purdue University. Laboratory for Applications of Remote Sensing.、出版社：[New York] : Institute of Electrical and Electronics Engineers, c1976.
	Robotics and automation : Second IASTED International Symposium Robotics and Automation, June 22-24, 1983, Lugano, Switzerland 0 索取号：TP242-53/E901/2 作者：IASTED International Symposium Robotics and Automation (2nd : 1983 : Lugano、 Switzerland)、Hamza、 M. H.、International Association of Science and Technology for Development.、出版社：Anaheim : Acta Press, 1983.		Proceedings of the eleventh annual Pittsburgh conference, held May 1-2, 1980, University of Pittsburgh v.11:pt.1 0 索取号：TB115-53/E801/11.1 作者：出版社：Research Triangle Park, N.C. : Instrument Society of America, 1980.
	菲律滨文化中学 (侨中) 创校六十周年纪念刊 : 1923-1983 0 索取号：G639.341.8/712 作者：菲律宾文化中学 (侨中)、出版社：菲律滨 : 菲律滨文化中学 (侨中), 1983		Proceedings of the Conference on Hybrid Microelectronics, Tuesday 9th to Thursday 11th September 1975, University of Technology, Loughborough 0 索取号：TN45-53/E804/1975 作者：Conference on Hybrid Microelectronics (1975 : University of Technology、 Loughborough、 Eng.)、Institution of Electronic and Radio Engineers.、International Society for Hybrid Microelectronics.、出版社：London : IERE, c1975.